//
//  varinfo.h
//  LTLBMC
//
//  Created by GD Huang on 5/17/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef LTLBMC_varinfo_h
#define LTLBMC_varinfo_h

#include "typ.h"
#include "storage.h"
#include "location.h"

namespace cilast {
    
    class typ;
    
    class varinfo : public OCamlObject {
    public:    
        char* vname;
        typ*    vtype;
        std::vector<attribute*> vattr;
        storage vstorage;
        bool vglob;
        bool vinline;
        location* vdecl;
        int vid;
        bool vaddrof;
        bool vreferenced;
        char* vdescr;
        bool vdescrpure;

    };
    
}
#endif
